Symbolic Representation and Computation of Timed Discrete-Event Systems
نویسندگان
چکیده
منابع مشابه
Symbolic Nonblocking Computation of Timed Discrete Event Systems
In this paper, we symbolically compute a minimally restrictive nonblocking supervisor for timed discrete event systems (TDESs), in the supervisory control theory context. The method is based on Timed Extended Finite Automata, which is an augmentation of extended finite automata (EFAs) by incorporating discrete time in the model. EFAs are ordinary automaton extended with discrete variables, guar...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملHierarchical control of timed discrete-event systems
An abstract hierarchical control theory is developed lbr a class of timed discrete-event systems (TDES) within the discrete-event control architectural framework proposed earlier by the authors. For this development, a control theory for TDES is introduced in the spirit of a prior theory of Brandin. A notion of time control structures is introduced, and on its basis a general property of hierar...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملComputation of Closed, Controllable, and Weakly Observable Sublanguages for Timed Discrete Event Systems
Brandin and Wonham have developed a supervisory control framework for timed discrete event systems (TDESs). Lin and Wonham have extended this framework to the partial observation case. In our previous work, we have defined a new class of supervisors for TDESs under partial observation. We have introduced a notion of weak observability of languages, and proved that Lm(G)-closure, controllability...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automation Science and Engineering
سال: 2014
ISSN: 1545-5955,1558-3783
DOI: 10.1109/tase.2013.2282895